,

将第一式代入瑞利定理, 即得第二式.

第三式由瑞利定理即得 (严谨性?). 证毕.